package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package dolmen_loop

dolmen_loop
- CHANGES
- README
- Library dolmen_loop
  - Dolmen_loop
    
    Code
    
    Expr_intf
    
    S
    
    Print
    
    Headers
    
    Field
    
    Pipe
    
    Headers_intf
    
    S
    
    Logic
    
    S
    
    Lexer
    
    Parser
    
    MenhirInterpreter
    
    Incremental
    
    Parser
    
    Pipe
    
    Pipeline
    
    Make
    
    State
    
    State_intf
    
    Pipeline
    
    Parser_pipe
    
    Typer
    
    Typer_pipe
    
    Header_pipe
    
    Typer
    
    T
    
    Tag
    
    Ty
    
    Var
    
    Const
    
    T
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    S
    
    Make
    
    Pipe_arg
    
    Pipe_res
    
    Pipe
    
    Typer_intf
    
    Pipe_types
    
    Pipe_arg
    
    S
    
    Pipe_res
- Sources
  - dolmen_loop
    
    code.ml
    
    dolmen_loop.ml
    
    expr_intf.ml
    
    headers.ml
    
    headers_intf.ml
    
    logic.ml
    
    parser.ml
    
    pipeline.ml
    
    state.ml
    
    state_intf.ml
    
    typer.ml
    
    typer_intf.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Typer.Make`Source

Parameters

module S : State_intf.Typer with type ty_state := ty_state

Signature

This signature includes the requirements to instantiate the {Pipes.Make: functor

include Typer_intf.Pipe_arg
  with type state := S.t
   and type ty := Dolmen.Std.Expr.ty
   and type ty_var := Dolmen.Std.Expr.ty_var
   and type ty_cst := Dolmen.Std.Expr.ty_cst
   and type term := Dolmen.Std.Expr.term
   and type term_var := Dolmen.Std.Expr.term_var
   and type term_cst := Dolmen.Std.Expr.term_cst
   and type formula := Dolmen.Std.Expr.formula

include Typer_intf.Pipe_types
  with type state := S.t
  with type ty := Dolmen.Std.Expr.ty
  with type ty_var := Dolmen.Std.Expr.ty_var
  with type ty_cst := Dolmen.Std.Expr.ty_cst
  with type term := Dolmen.Std.Expr.term
  with type term_var := Dolmen.Std.Expr.term_var
  with type term_cst := Dolmen.Std.Expr.term_cst
  with type formula := Dolmen.Std.Expr.formula

Sourceval typecheck : S.t -> bool

Sourceval reset : S.t -> ?loc:Dolmen.Std.Loc.t -> unit -> S.t

Sourceval push : S.t -> ?loc:Dolmen.Std.Loc.t -> int -> S.t

Sourceval pop : S.t -> ?loc:Dolmen.Std.Loc.t -> int -> S.t

Sourceval set_logic : S.t -> ?loc:Dolmen.Std.Loc.t -> string -> S.t

Source

val defs : 
  S.t ->
  ?loc:Dolmen.Std.Loc.t ->
  ?attrs:Dolmen.Std.Term.t list ->
  Dolmen.Std.Statement.defs ->
  S.t
  * [ `Type_def of
        Dolmen.Std.Id.t
        * Dolmen.Std.Expr.ty_cst
        * Dolmen.Std.Expr.ty_var list
        * Dolmen.Std.Expr.ty
    | `Term_def of
      Dolmen.Std.Id.t
      * Dolmen.Std.Expr.term_cst
      * Dolmen.Std.Expr.ty_var list
      * Dolmen.Std.Expr.term_var list
      * Dolmen.Std.Expr.term ]
      list

Source

val decls : 
  S.t ->
  ?loc:Dolmen.Std.Loc.t ->
  ?attrs:Dolmen.Std.Term.t list ->
  Dolmen.Std.Statement.decls ->
  S.t
  * [ `Type_decl of Dolmen.Std.Expr.ty_cst
    | `Term_decl of Dolmen.Std.Expr.term_cst ]
      list

Source

val terms : 
  S.t ->
  ?loc:Dolmen.Std.Loc.t ->
  ?attrs:Dolmen.Std.Term.t list ->
  Dolmen.Std.Term.t list ->
  S.t * Dolmen.Std.Expr.term list

Source

val formula : 
  S.t ->
  ?loc:Dolmen.Std.Loc.t ->
  ?attrs:Dolmen.Std.Term.t list ->
  goal:bool ->
  Dolmen.Std.Term.t ->
  S.t * Dolmen.Std.Expr.formula

Source

val formulas : 
  S.t ->
  ?loc:Dolmen.Std.Loc.t ->
  ?attrs:Dolmen.Std.Term.t list ->
  Dolmen.Std.Term.t list ->
  S.t * Dolmen.Std.Expr.formula list

Sourceval print_fragment : Format.formatter -> (T.env * 'a T.fragment) -> unit

Print a code fragment

Sourceval report_error : Format.formatter -> T.error -> unit

Report a typing error on the given formatter.

Sourceval report_warning : T.warning -> (Format.formatter -> unit -> unit) option

Return a reporter for the given warning, if the warning should be reported.

Sourceval additional_builtins : T.builtin_symbols ref

This reference can be modified to parse new builtin symbols. By default no additional builtin symbols are parsed. It is added for all the languages except Dimacs, and iCNF.

package dolmen_loop

Module Typer.MakeSource

Parameters

Signature

Module `Typer.Make`Source