To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val pp_error_desc :
Ppx_deriving_runtime.Format.formatter ->
error_desc ->
Ppx_deriving_runtime.unitval show_error_desc : error_desc -> Ppx_deriving_runtime.stringval emit_error : error_desc -> 'atype env = {f : Model.function__ option;update_preds : (Ident.ident * Model.assignment_operator * Model.mterm) list list;select_preds : Model.mterm list;sum_preds : Model.mterm list;removeif_preds : Model.mterm list;consts : (Ident.ident * Model.mterm) list;
}val pp_env :
Ppx_deriving_runtime.Format.formatter ->
env ->
Ppx_deriving_runtime.unitval show_env : env -> Ppx_deriving_runtime.stringval mk_env :
?f:Model.function__ ->
?update_preds:
(Ident.ident * Model.assignment_operator * Model.mterm) list list ->
?select_preds:Model.mterm list ->
?sum_preds:Model.mterm list ->
?removeif_preds:Model.mterm list ->
?consts:(Ident.ident * Model.mterm) list ->
unit ->
envval cmp_update :
(Ident.ident * Model.assignment_operator * Model.mterm) list ->
(Ident.ident * Model.assignment_operator * Model.mterm) list ->
boolval compute_env : Model.model -> envval is_internal : (Ident.ident * Model.mterm) list -> Model.lident -> boolval is_const : env -> Model.lident -> boolval get_const_dv : env -> Model.lident -> Model.mtermval get_preds_index : Model.mterm list -> Model.mterm -> int