Model.Instantiate
module X : Costlang.S
module M : Model_impl
type 'a repr = 'a X.repr
type size = X.size
type arg_type = M.arg_type
type model_type
val arity : (size, model_type, arg_type) arity
val model : arg_type -> size repr