Make.M'
module Monadic_Arity : sig ... end
val value_of_truth : size -> L.boolean -> L.binary Monadic_Arity.m
module Conversion : sig ... end
module Binary :
Codex.Transfer_functions.Binary_Forward
with module Arity := Monadic_Arity
and type binary = L.binary
and type boolean = L.boolean
module Boolean :
Codex.Transfer_functions.Boolean_Forward
with module Arity := Monadic_Arity
and type boolean = L.boolean
module Memory :
Codex.Transfer_functions.Memory_Forward
with module Arity := Monadic_Arity
and type binary = L.binary
and type boolean = L.boolean
and type memory = L.memory