package safa

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a formatter = Format.formatter -> 'a -> unit

val get : ('a, 'b) 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) format6 ->
  ('b, 'c, 'd, 'e, 'f, 'g) 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 : Lexing.lexbuf -> unit

val unexpected_char : Lexing.lexbuf -> 'a

val parse : 
  ?msg:string ->
  ('a -> Lexing.lexbuf -> 'b) ->
  'a ->
  Lexing.lexbuf ->
  'b