sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
type !'a parse_result =
| Ok of 'a * Str.split_result list
| Fail
type !'a parser = Str.split_result list -> 'a parse_result
val (>>=) : 'a parser -> ( 'a -> 'b parser ) -> Str.split_result list -> 'b parse_result
val pmap : ( 'a -> 'b ) -> ( 'c -> 'a parse_result ) -> 'c -> 'b parse_result
val token : ( Str.split_result -> 'a option ) -> Str.split_result list -> 'a parse_result
val preturn : 'a -> Str.split_result list -> 'a parse_result
val plist : ( Str.split_result list -> 'a parse_result ) -> Str.split_result list -> 'a list parse_result
val pchoose : ( 'a -> 'b parse_result ) -> ( 'a -> 'b parse_result ) -> 'a -> 'b parse_result
val parse : ( Str.split_result list -> 'a parse_result ) -> string -> string -> 'a option