Up – mavryk-benchmark » Mavryk_benchmark » Model » Instantiate » M » Def

Module `M.Def`

Parameters
Signature

Parameters

module X : Costlang.S

Signature

type model_type

val arity : (X.size, model_type, arg_type) arity

val model : model_type X.repr