package lutin

  1. Overview
  2. Docs

RIF (Reactive Input Format) utilities

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

Reads the input values

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

write_outputs oc outputs writes the Lucky outputs

val write_interface : Stdlib.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 : Stdlib.out_channel -> unit