package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- Archetype
  - Ast
    
    Utils
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_model
  - Gen_reduce
  - Gen_storage
  - Gen_transform
    
    MapString
    
    SetString
  - Gen_why3
  - Ident
    
    Mid
    
    Sid
    
    ident_iter
    
    ident_map
    
    ident_reduce
    
    ident_reduce2
  - Io
  - Lexer
  - Location
    
    location_iter
    
    location_map
    
    location_reduce
    
    location_reduce2
  - Mlwtree
  - Model
    
    Utils
  - Options
  - ParseError
  - ParseTree
    
    iter
    
    map
    
    reduce
    
    reduce2
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Position
  - Printer_ast
  - Printer_mlwtree
  - Printer_model
  - Printer_model_ligo
    
    LigoUtils
  - Printer_model_scaml
  - Printer_model_smartpy
  - Printer_model_tools
  - Printer_pt
  - Printer_pt_markdown
  - Printer_tools
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    List
    
    Exn
    
    Map
    
    Make
    
    Mint
    
    Mstr
    
    Option
    
    Sstr
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Definition
    
    Function
    
    Label
    
    Local
    
    Predicate
    
    Record
    
    State
    
    Tentry
    
    Type
    
    Var
    
    SecurityPred
    
    Type
    
    Michelson

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

loc_fname : string;
loc_start : int * int;
loc_end : int * int;
loc_bchar : int;
loc_echar : int;

}

and 'a loced = {

plloc : t;
pldesc : 'a;

}

include sig ... end

class virtual +'a location_map : object ... end

include sig ... end

class virtual +'a location_iter : object ... end

include sig ... end

class virtual +'a location_reduce : object ... end

include sig ... end

class virtual +'a location_reduce2 : object ... end

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val loced_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a loced -> Yojson.Safe.t

val loced_of_yojson : 
  'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a loced Ppx_deriving_yojson_runtime.error_or

val _ : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a loced Ppx_deriving_yojson_runtime.error_or

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val show_loced : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a loced ->
  Ppx_deriving_runtime.string

val dummy : t

val make : Stdlib.Lexing.position -> Stdlib.Lexing.position -> t

val of_lexbuf : Stdlib.Lexing.lexbuf -> t

val merge : t -> t -> t

val mergeall : t list -> t

val isdummy : t -> bool

val tostring : t -> string

val pp_loced : 
  (Core.Format.formatter -> 'a -> unit) ->
  Core.Format.formatter ->
  'a loced ->
  unit

val loc : 'a loced -> t

val unloc : 'a loced -> 'a

val unlocs : 'a loced list -> 'a list

val aspair : 'a loced -> t * 'a

val lmap : ('a -> 'b) -> 'a loced -> 'b loced

val mkloc : t -> 'a -> 'a loced

val dumloc : 'a -> 'a loced

val deloc : 'a loced -> t * 'a