fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Misc
val string_of_list : f:( 'a -> string ) -> sep:string -> 'b list -> string
val iter_fst : ( bool -> 'a -> 'b ) -> 'c list -> unit
val list_make : f:( int -> 'a ) -> lo:int -> hi:int -> 'b list
val flat_map : ( 'a -> 'b list ) -> 'a list -> 'b list
val cart_prod : 'a list -> 'b list -> ('c * 'd) list
val list_parse : parse_item:( Genlex.token Stream.t -> 'a ) -> sep:string -> Genlex.token Stream.t -> 'b list
val string_of_opt : ( 'a -> string ) -> 'b option -> string
val bit_size : int -> int
val pow2 : int -> int
val quote_string : string -> string
val check_dir : string -> unit
val spaces : int -> string
val replace_assoc : 'a -> 'b -> ('c * 'd) list -> ('e * 'f) list