module ChainCalls: Datatype.List(Datatype.Pair(Datatype.Int)(Datatype.Pair(Datatype.Bool)(VarType)))
Datatype.List
(
Datatype.Pair
Datatype.Int
)
Datatype.Bool
VarType
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Datatype.t -> Datatype.t
x
copy x