package OCanren-ppx

  1. Overview
  2. Docs
val is_state_pattern : Ppxlib.pattern -> string option
val classify_name : f:(Ppxlib.longident -> bool) -> Ppxlib.expression -> bool
val need_insert_fname : name:string -> Ppxlib.expression -> bool
val is_defer : Ppxlib.expression -> bool
val is_conde : Ppxlib.expression -> bool
val is_fresh : Ppxlib.expression -> bool
val is_call_fresh : Ppxlib.expression -> bool
val is_unif : Ppxlib.expression -> bool
val is_conj : Ppxlib.expression -> bool
val is_conj_list : Ppxlib.expression -> bool
val is_disj : Ppxlib.expression -> Base.bool
val option_map : f:('a -> 'b) -> 'c option -> 'd option
val option_bind : f:('a -> 'b option) -> 'c option -> 'b option
exception Not_an_ident
val reconstruct_args : Ppxlib.expression -> string list option
val list_fold : f:('a -> 'b -> 'a) -> initer:('c -> 'd) -> 'e list -> 'f
val list_fold_right0 : f:('a -> 'b -> 'c) -> initer:('d -> 'e) -> 'f Base.List.t -> 'g