| Val | Michelson.Typed.Value, Michelson.Typed |
| validate | Morley.Test.Integrational, Morley.Test |
| valToOpOrValue | Michelson.Typed |
| Value | Michelson.Untyped, Morley.Types |
| value | Morley.Parser |
| ValueBytes | Michelson.Untyped, Morley.Types |
| ValueFalse | Michelson.Untyped, Morley.Types |
| ValueInt | Michelson.Untyped, Morley.Types |
| ValueLambda | Michelson.Untyped, Morley.Types |
| ValueLeft | Michelson.Untyped, Morley.Types |
| ValueMap | Michelson.Untyped, Morley.Types |
| ValueNil | Michelson.Untyped, Morley.Types |
| ValueNone | Michelson.Untyped, Morley.Types |
| ValuePair | Michelson.Untyped, Morley.Types |
| ValueRight | Michelson.Untyped, Morley.Types |
| ValueSeq | Michelson.Untyped, Morley.Types |
| ValueSome | Michelson.Untyped, Morley.Types |
| ValueString | Michelson.Untyped, Morley.Types |
| ValueTrue | Michelson.Untyped, Morley.Types |
| ValueUnit | Michelson.Untyped, Morley.Types |
| Var | |
| 1 (Type/Class) | Morley.Types |
| 2 (Data Constructor) | Morley.Types |
| VarAnn | Michelson.Untyped, Morley.Types |
| VarID | Morley.Types |
| varSet | Morley.Types |
| VBigMap | Michelson.Typed.Value, Michelson.Typed |
| VC | Michelson.Typed.Value, Michelson.Typed |
| VContract | Michelson.Typed.Value, Michelson.Typed |
| VKey | Michelson.Typed.Value, Michelson.Typed |
| VLam | Michelson.Typed.Value, Michelson.Typed |
| VList | Michelson.Typed.Value, Michelson.Typed |
| VMap | Michelson.Typed.Value, Michelson.Typed |
| VOp | Michelson.Typed.Value, Michelson.Typed |
| VOption | Michelson.Typed.Value, Michelson.Typed |
| VOr | Michelson.Typed.Value, Michelson.Typed |
| VPair | Michelson.Typed.Value, Michelson.Typed |
| VSet | Michelson.Typed.Value, Michelson.Typed |
| VSignature | Michelson.Typed.Value, Michelson.Typed |
| VUnit | Michelson.Typed.Value, Michelson.Typed |