package lutin

  1. Overview
  2. Docs

RIF (Reactive Input Format) utilities

val read : bool -> in_channel -> out_channel option -> Exp.var list -> Var.env_in

Reads the input values

val write : out_channel -> string -> unit
val write_outputs : out_channel -> Exp.var list -> Value.OfIdent.t -> unit

write_outputs oc outputs writes the Lucky outputs

val write_interface : out_channel -> Exp.var list -> Exp.var list -> Exp.var list option -> Exp.var list list option -> unit

write_interface oc in_vars_ out_vars out_vars loc_vars oracle_vars writes the input and output var names and types

val flush : out_channel -> unit
OCaml

Innovation. Community. Security.