package safa

  1. Overview
  2. Docs
type !'a formatter = Stdlib.Format.formatter -> 'a -> unit
val get : ('a, 'b) Stdlib.Hashtbl.t -> 'a -> 'b option
module type QUEUE = sig ... end
module IntSet : Sets.T
type int_set = IntSet.t
type !'a hval = 'a Hashcons.hash_consed
type 'a hset = 'a Hset.t
module Set : sig ... end
type 'a set = 'a Set.t
type (!'v, !'k) gstring_ = ('v * ('k * bool) list) list
type (!'v, !'k) gstring = ('k * bool) list * ('v, 'k) gstring_
val print_gstring : 'v formatter -> 'k formatter -> ('v, 'k) gstring formatter
val paren : int -> int -> ('b, 'c, 'd, 'e, 'f, 'g) Stdlib.format6 -> ('b, 'c, 'd, 'e, 'f, 'g) Stdlib.format6
module Span : sig ... end
type ('v, 's) span = ('v, 's) Span.t
val time : ('a -> 'b) -> 'a -> float * 'b
val memo_rec : ?n:int -> (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b
val memo_rec1 : (('a hval -> 'b) -> 'a hval -> 'b) -> 'a hval -> 'b
val memo_rec2 : (('a hval -> 'b hval -> 'c) -> 'a hval -> 'b hval -> 'c) -> 'a hval -> 'b hval -> 'c
val next_line : Stdlib.Lexing.lexbuf -> unit
val unexpected_char : Stdlib.Lexing.lexbuf -> 'a
val parse : ?msg:string -> ('a -> Stdlib.Lexing.lexbuf -> 'b) -> 'a -> Stdlib.Lexing.lexbuf -> 'b
OCaml

Innovation. Community. Security.