Expr (p.camlid.0.2.doc.camlid.Camlid.Expr)

Sourcetype defined

Sourcetype expr

Sourcetype code

Sourcetype kind =

| C
| ML
| H

Sourcetype id

Sourcetype var = private {

id : int;
name : string;
ty : expr;

}

Sourceval expr : ('a, Format.formatter, unit, expr) format4 -> 'a

Sourceval expro : ('a, Format.formatter, unit, expr option) format4 -> 'a

Sourceval pp_expr : Format.formatter -> expr -> unit

Sourceval pp_expr_binds : Format.formatter -> (expr * (var * expr) list) -> unit

Sourceval binds : (var * expr) list -> expr -> expr

Sourceval dimplicit : defined -> code list -> defined

Sourcemodule ID : sig ... end

Sourcemodule Var : sig ... end

Sourceval def_of_code : code -> defined

Sourceval name_of_def : defined -> string

Sourceval pp_id : Format.formatter -> ID.t -> unit

Sourceval pp_def : Format.formatter -> defined -> unit

Sourceval e_def : defined -> expr

Sourceval pp_var : Format.formatter -> Var.t -> unit

Sourceval e_var : Var.t -> expr

Sourceval e_addr : Var.t -> expr

Sourceval e_deref : Var.t -> expr

Sourceval pp_call : Format.formatter -> (code * (Var.t * expr) list) -> unit

Sourceval pp_calli : Format.formatter -> (code * (Var.t * expr) list) -> unit

Source

val pp_call_ret : 
  Format.formatter ->
  (expr * code * (Var.t * expr) list) ->
  unit

Sourceval def : ?kind:kind -> id -> unit Fmt.t -> defined

Source

val ddef : 
  ?kind:kind ->
  id ->
  ('a, Format.formatter, unit, defined) format4 ->
  'a

Sourceval mk : ?kind:kind -> ?params:var list -> id -> unit Fmt.t -> code

Sourcetype fp = {

fmt : 'a. ('a, Format.formatter, unit) format -> 'a;

}

Sourceval fp : ?kind:kind -> ?params:var list -> id -> (fp -> unit) -> code

Source

val dfp : 
  ?kind:kind ->
  ?params:var list ->
  id ->
  ('a, Format.formatter, unit, code) format4 ->
  'a

Sourcetype env

Source

val toplevel_callable : 
  ?kind:kind ->
  id ->
  ('a, Format.formatter, unit, code) format4 ->
  'a

Source

val toplevel : 
  ?kind:kind ->
  id ->
  ('a, Format.formatter, unit, defined) format4 ->
  'a

Source

val final_print : 
  prefix:string ->
  ml:out_channel ->
  c:out_channel ->
  h:out_channel ->
  kind ->
  expr ->
  unit

Source

val codef : 
  ?inline:bool ->
  ?kind:kind ->
  ?params:Var.S.elt list ->
  ?keep_name:bool ->
  ?locals:Var.S.elt list ->
  ?ovars:Var.t list ->
  ?ret:expr ->
  ?doc:unit Fmt.t ->
  string ->
  (fp -> unit) ->
  code

Source

val codefo : 
  ?kind:kind ->
  ?params:Var.S.elt list ->
  ?keep_name:bool ->
  ?locals:Var.S.elt list ->
  ?ovars:Var.t list ->
  ?ret:expr ->
  ?doc:unit Fmt.t ->
  string ->
  (fp -> unit) ->
  code option

Source

val code : 
  ?inline:bool ->
  ?kind:kind ->
  ?params:Var.S.elt list ->
  ?keep_name:bool ->
  ?locals:Var.S.elt list ->
  ?ovars:Var.t list ->
  ?ret:expr ->
  ?doc:unit Fmt.t ->
  string ->
  ('a, Format.formatter, unit, code) format4 ->
  'a

Source

val codeo : 
  ?kind:kind ->
  ?params:Var.S.elt list ->
  ?keep_name:bool ->
  ?locals:Var.S.elt list ->
  ?ovars:Var.t list ->
  ?ret:expr ->
  ?doc:unit Fmt.t ->
  string ->
  ('a, Format.formatter, unit, code option) format4 ->
  'a

Source

val call_codef : 
  ?locals:var list ->
  string ->
  (var * expr) list ->
  (fp -> unit) ->
  expr