Module Imandra_surface.Code_fragment

Code to Execute

A code fragment is a string that should be interpreted in the interactive toplevel by feeding it to Imandra's parser.

type syntax =
| Iml
| Raw_ocaml
| Reason
type mode = Imandra_util.Pconfig.State.mode =
| Logic
| Program
type t = private {
code : string;
mode : mode;
descr : string;
syntax : syntax;
}
val make : ?⁠syntax:syntax -> ?⁠mode:mode -> ?⁠descr:string -> string -> t

Make a piece of code from a raw string. Use carefully

val make_ocaml : ?⁠mode:mode -> ?⁠descr:string -> string -> t

Make a piece of code from a raw string. Use carefully

val print : t CCFormat.printer
val to_string : t -> string
val string_of_syntax : syntax -> string
val string_of_mode : mode -> string