package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Internal_error of string

exception Not_implemented of string

val fatal_error : string -> 'a

val not_implemented : string -> 'a

val warning : string -> unit

val add_assoc : ('k * 'v) list -> ('k * 'v) -> ('k * 'v) list

val collect_assoc : ('a -> ('k * 'v) list) -> 'a list -> ('k * 'v) list

val fold_left : ('a -> 'b -> 'a) -> 'b list -> 'a -> 'a

val id : 'a -> 'a

val list_split_at : int -> 'a list -> 'a list * 'a list

val bit_size : int -> int

val copy_with_subst : 
  (string * string) list ->
  in_channel ->
  out_channel ->
  unit