Module Make.M'

module Monadic_Arity : sig ... end
val value_of_truth : size -> L.boolean -> L.binary Monadic_Arity.m
module Conversion : sig ... end