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
This modules defines the smallest signatures for a typechecker that allow to instantiate the Typer.Pipe functor.
include Pipe_types
val typecheck : state -> boolval reset : state -> ?loc:Dolmen.Std.Loc.t -> unit -> stateval reset_assertions : state -> ?loc:Dolmen.Std.Loc.t -> unit -> stateval push : state -> ?loc:Dolmen.Std.Loc.t -> int -> stateval pop : state -> ?loc:Dolmen.Std.Loc.t -> int -> stateval set_logic : state -> ?loc:Dolmen.Std.Loc.t -> string -> stateval defs :
state ->
?loc:Dolmen.Std.Loc.t ->
?attrs:Dolmen.Std.Term.t list ->
Dolmen.Std.Statement.defs ->
state
* [ `Type_def of Dolmen.Std.Id.t * ty_cst * ty_var list * ty
| `Term_def of
Dolmen.Std.Id.t * term_cst * ty_var list * term_var list * term ]
listval decls :
state ->
?loc:Dolmen.Std.Loc.t ->
?attrs:Dolmen.Std.Term.t list ->
Dolmen.Std.Statement.decls ->
state * [ `Type_decl of ty_cst | `Term_decl of term_cst ] listval terms :
state ->
?loc:Dolmen.Std.Loc.t ->
?attrs:Dolmen.Std.Term.t list ->
Dolmen.Std.Term.t list ->
state * term listval formula :
state ->
?loc:Dolmen.Std.Loc.t ->
?attrs:Dolmen.Std.Term.t list ->
goal:bool ->
Dolmen.Std.Term.t ->
state * formulaval formulas :
state ->
?loc:Dolmen.Std.Loc.t ->
?attrs:Dolmen.Std.Term.t list ->
Dolmen.Std.Term.t list ->
state * formula list