let create t in_enc out_enc = ()