You can search for identifiers within the package.
in-package search v0.2.0
binsec.sse
Script.Instr
type t =
| Assign of LValue.t * Expr.t
| Undef of LValue.t
| Nondet of LValue.t
| Assume of Expr.t
| Assert of Expr.t
| It of Expr.t * string
| Goto of string
| Jump of Expr.t
| Label of string
| Halt
val assign : LValue.t -> Expr.t -> t
val undef : LValue.t -> t
val nondet : LValue.t -> t
val assume : Expr.t -> t
val dynamic_assert : Expr.t -> t
val conditional_jump : Expr.t -> string -> t
val goto : string -> t
val dynamic_jump : Expr.t -> t
val label : string -> t
val halt : t
val pp_list : Format.formatter -> t list -> unit