links

The Links Programming Language
IN THIS PACKAGE
val binary_of_string : string -> ( Lens.Operators.Binary.t, Of_ir_error.t ) Result.result
val unary_of_string : string -> ( Lens.Operators.Unary.t, Of_ir_error.t ) Result.result