Module Convert_to_monadic.Boolean_Forward

type boolean = D.boolean