Transfer_functions.Builtin
val hash : t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
module type With_Builtin = sig ... end
module Make
(Types : sig ... end)
(Context : sig ... end) :
With_Builtin
with type binary := Types.binary
and type memory := Types.memory
and type boolean := Types.boolean
and module Context := Context