package lutin

  1. Overview
  2. Docs

Module LutProgSource

Sourcetype t
Sourceval make : ?libs:string list option -> string list -> string -> t * Prog.t

make infile mnode

Sourceval get_init_state : ?verb_level:int -> t -> Prog.t -> Prog.state
Sourceval make_state : ?libs:string list option -> ?verb_level:int -> string list -> string -> Prog.state

make_state infile mnode

OCaml

Innovation. Community. Security.