Module Convert_to_monadic.Types

type boolean = D.boolean
type binary = D.binary
type memory = D.memory