sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
module Big_int = Nat_big_num
val pipe : PPrint.document
val arrow : PPrint.document
val bidir : PPrint.document
val dotdot : PPrint.document
val coloncolon : PPrint.document
val coloneq : PPrint.document
val lsquarebar : PPrint.document
val rsquarebar : PPrint.document
val squarebars : PPrint.document -> PPrint.document
val lsquarebarbar : PPrint.document
val rsquarebarbar : PPrint.document
val squarebarbars : PPrint.document -> PPrint.document
val lsquarecolon : PPrint.document
val rsquarecolon : PPrint.document
val squarecolons : PPrint.document -> PPrint.document
val lcomment : PPrint.document
val rcomment : PPrint.document
val string_lit : PPrint.document -> PPrint.document
val semi_sp : PPrint.document
val comma_sp : PPrint.document
val colon_sp : PPrint.document
val doc_int : Big_int.num -> PPrint.document
val print : ?len:int -> PPrint.ToChannel.channel -> PPrint.ToChannel.document -> unit
val to_buf : ?len:int -> PPrint.ToBuffer.channel -> PPrint.ToBuffer.document -> unit