Instantiate.M
type arg_type
val name : Namespace.t
val takes_saturation_reprs : bool
If true, the generated function takes Saturation_repr.may_saturate Saturation_repr.t as arguments instead of ints. Otherwise, the generated function takes ints.
true
Saturation_repr.may_saturate Saturation_repr.t
int
module Def (X : Costlang.S) : sig ... end