archetype 1.3.6 · OCaml Package

type status =

| Passed
| Error

val status_to_yojson : status -> Yojson.Safe.t

val status_of_yojson : 
  Yojson.Safe.t ->
  status Ppx_deriving_yojson_runtime.error_or

val pp_status : 
  Ppx_deriving_runtime.Format.formatter ->
  status ->
  Ppx_deriving_runtime.unit

val show_status : status -> Ppx_deriving_runtime.string

type position = {

line : int;
col : int;
char : int;

}

val position_to_yojson : position -> Yojson.Safe.t

val position_of_yojson : 
  Yojson.Safe.t ->
  position Ppx_deriving_yojson_runtime.error_or

val pp_position : 
  Ppx_deriving_runtime.Format.formatter ->
  position ->
  Ppx_deriving_runtime.unit

val show_position : position -> Ppx_deriving_runtime.string

type location = {

start : position;
end_ : position;

}

val location_to_yojson : location -> Yojson.Safe.t

val location_of_yojson : 
  Yojson.Safe.t ->
  location Ppx_deriving_yojson_runtime.error_or

val pp_location : 
  Ppx_deriving_runtime.Format.formatter ->
  location ->
  Ppx_deriving_runtime.unit

val show_location : location -> Ppx_deriving_runtime.string

type kind =

| StorageInvariant
| Fails
| Assert
| PostCondition
| SecurityPredicate

val kind_to_yojson : kind -> Yojson.Safe.t

val kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or

val pp_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  kind ->
  Ppx_deriving_runtime.unit

val show_kind : kind -> Ppx_deriving_runtime.string

type invariant = {

label : string;
formulas : string list;

}

val invariant_to_yojson : invariant -> Yojson.Safe.t

val invariant_of_yojson : 
  Yojson.Safe.t ->
  invariant Ppx_deriving_yojson_runtime.error_or

val pp_invariant : 
  Ppx_deriving_runtime.Format.formatter ->
  invariant ->
  Ppx_deriving_runtime.unit

val show_invariant : invariant -> Ppx_deriving_runtime.string

type property = {

kind : kind;
id : string;
formula : string;
invariants : invariant list;
location : location;

}

val property_to_yojson : property -> Yojson.Safe.t

val property_of_yojson : 
  Yojson.Safe.t ->
  property Ppx_deriving_yojson_runtime.error_or

val pp_property : 
  Ppx_deriving_runtime.Format.formatter ->
  property ->
  Ppx_deriving_runtime.unit

val show_property : property -> Ppx_deriving_runtime.string

type 'a result = {

status : status;
obj : 'a;

}

val result_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a result -> Yojson.Safe.t

val result_of_yojson : 
  'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a result Ppx_deriving_yojson_runtime.error_or

val pp_result : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a result ->
  Ppx_deriving_runtime.unit

val show_result : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a result ->
  Ppx_deriving_runtime.string

type result_get_property = property list result

val result_get_property_to_yojson : result_get_property -> Yojson.Safe.t

val result_get_property_of_yojson : 
  Yojson.Safe.t ->
  result_get_property Ppx_deriving_yojson_runtime.error_or

val _ : 
  Yojson.Safe.t ->
  result_get_property Ppx_deriving_yojson_runtime.error_or

val pp_result_get_property : 
  Ppx_deriving_runtime.Format.formatter ->
  result_get_property ->
  Ppx_deriving_runtime.unit

val show_result_get_property : 
  result_get_property ->
  Ppx_deriving_runtime.string

val mk_position : (int * int) -> int -> position

val mk_location : Location.t -> location

val mk_invariant : string -> string list -> invariant

val mk_property : 
  ?invariants:invariant list ->
  kind ->
  string ->
  string ->
  location ->
  property

val mk_property_get_property : status -> property list -> result_get_property

val extract_properties : ParseTree.archetype -> property list

val print_json : ('a -> Yojson.Safe.t) -> 'a -> string

val process : Options.service_kind -> Core.from_input -> string

val process_from_string : Options.service_kind -> string -> string

package archetype