package setr

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module DS = SETr_DS

type !'sym e =

type !'sym t =

type !'sym q = {

}

val prec_e : 'a e -> int

val pp_noparen_e : 
  ?parse:bool ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a e ->
  unit

val pp_e : 
  ?parse:bool ->
  ?prec:int ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a e ->
  unit

val pp : 
  ?parse:bool ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a t ->
  unit

val to_string_e : (Stdlib.Format.formatter -> 'a -> unit) -> 'a e -> string

val to_string : (Stdlib.Format.formatter -> 'a -> unit) -> 'a t -> string

val iter_sym_e : (bool -> 'a -> unit) -> 'a e -> unit

val iter_sym : (bool -> 'a -> unit) -> 'a t -> unit

val map_sym_e : (bool -> 'a -> 'b e) -> 'a e -> 'b e

val map_sym : (bool -> 'a -> 'b e) -> 'a t -> 'b t

val map_symbol_e : ('a -> 'b) -> 'a e -> 'b e

val map_symbol : ('a -> 'b) -> 'a t -> 'b t

val normalize_e : 'a e -> 'a e * 'a t

val normalize : 'a t -> 'a t

val to_cnf_e : int e -> DS.CNF.LSet.elt list list * DS.CNF.LSet.elt list list

val to_cnf : int t -> DS.CNF.LSet.elt list list