Module type Builtin.With_Builtin

type binary
type memory
type boolean
module Context : sig ... end
val builtin_show_each_in : string -> Context.t -> (int * binary) list -> memory -> memory