Types_map.Side_loaded
module Ephemeral : sig ... end
module Permanent : sig ... end
type ('var, 'value, 'n1, 'n2) t = {
ephemeral : Ephemeral.t option;
permanent : ( 'var, 'value, 'n1, 'n2 ) Permanent.t;
}
type packed =
| T : ( 'var, 'value, 'n1, 'n2 ) Tag.id * ( 'var, 'value, 'n1, 'n2 ) t -> packed
val to_basic : ( 'a, 'b, 'c, 'd ) t -> ( 'a, 'b, 'c, 'd ) Basic.t