On This Page
package tezos-benchmark
Parameters
module X : Costlang.Smodule M : Model_implSignature
type 'a repr = 'a X.reprtype size = X.sizetype arg_type = M.arg_typeval arity : (size, model_type, arg_type) arityOn This Page
module X : Costlang.Smodule M : Model_impltype 'a repr = 'a X.reprtype size = X.sizetype arg_type = M.arg_typeval arity : (size, model_type, arg_type) arity