sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Pretty_print
val pp_ast_lem : (out_channel * string list) -> (out_channel * string list) -> Type_check.Env.t -> Type_check.tannot Ast_defs.ast -> string -> unit